1. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
2. Digital design and computer organization

by Farhat, Hassan A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2004Availability: Items available for loan: [Call number: 004.22 FAR] (2).
3. Microelectronics : analysis and design

by Natarajan, Sundaram.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2006Availability: Items available for loan: [Call number: 621.3815 NAT] (1).
4. Introduction to embedded system design using field programmable gate arrays

by Dubey, Rahul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 621.395 DUB] (4). Checked out (1).

Powered by Koha